Automatic programming - PDFSEARCH.IO - Document Search Engine

Automatic programming
Results: 566

#	Item
271	Automatic Verification for Interactive Graphical Programs Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Formal methods Functional languages Cross-platform software Automated theorem proving ACL2 Common Lisp Formal verification Lisp Software engineering Computing Computer programming
272	OpenMP Application Program Interface Version[removed]July[removed]Copyright © [removed]OpenMP Architecture Review Board. Add to Reading List Source URL: www.compunity.org Language: English - Date: 2013-07-24 03:49:46 Parallel computing OpenMP SPMD Barrier Directive Fortran Automatic parallelization Application programming interface Unified Parallel C Computing Computer programming Software engineering
273	Hybrid Parallelization Strategies for Large-Scale Machine Learning in SystemML Matthias Boehm, Shirish Tatikonda, Berthold Reinwald, Prithviraj Sen, Yuanyuan Tian, Douglas R. Burdick, Shivakumar Vaithyanathan IBM Researc Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-02-06 11:09:52 Software engineering Data parallelism Task parallelism Automatic parallelization OpenMP Multi-core processor MapReduce Program optimization Distributed computing Parallel computing Computing Computer programming
274	Optimization and Parallelization of Ptychography Reconstruction Code Thomas L. Falch1 1 Department Add to Reading List Source URL: www.nik.no Language: English - Date: 2013-01-14 08:06:40 Software engineering Computer programming Control flow Programming paradigms Automatic parallelization Loop unwinding For loop Speedup Array programming Computing Parallel computing Compiler optimizations
275	c ACM, 2012. This is the authors version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in FHPC’12, Sep[removed]http://doi.acm.or Add to Reading List Source URL: hiperfit.dk Language: English Compiler optimizations Parallel computing Procedural programming languages Programming paradigms Automatic parallelization Vectorization Control flow Data parallelism GPGPU Computing Software engineering Computer programming
276	An Automatic Object-Oriented Parser Generator for Ada Martin C. Carlisle Department of Computer Science 2354 Fairchild Dr., Suite 6K41 U.S. Air Force Academy, CO[removed]removed] Add to Reading List Source URL: adagoop.martincarlisle.com Language: English - Date: 2009-05-29 13:55:03 Compiler construction Compiling tools Parsing Parser generators Compiler-compiler LL parser Lex GNU bison Parse tree Programming language implementation Software Computing
277	9 Garbage Collection The execution model of a program on a microprocessor corresponds to that of imperative programming. More precisely, a program is a series of instructions whose execution modifies the memory state of Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Computer programming Software bugs Data types Primitive types Automatic memory management Garbage collection C dynamic memory allocation C Pointer Computing Software engineering Memory management
278	Improving Decision Tree Pruning through Automatic Programming Stig-Erland Hansen Roland Olsson Add to Reading List Source URL: www.nik.no Language: English - Date: 2007-10-16 02:55:08 Computational statistics Ensemble learning Pruning Decision tree learning Overfitting Boosting Ross Quinlan AdaBoost Algorithm Machine learning Decision trees Artificial intelligence
279	Lecture 14 Introduction to Garbage Collection I Why is Automatic GC Important and Hard? Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 14:04:09 Automatic memory management Data types Memory management Cross-platform software Software bugs Garbage collection Reference counting Unreachable memory Dangling pointer Computing Software engineering Computer programming
280	Automatic Generation of Performance/Memory Models for Parallel Scientific Applications Van Bui Argonne National Laboratory In collaboration with: Add to Reading List Source URL: trac.mcs.anl.gov Language: English - Date: 2009-03-26 14:20:45 Application programming interfaces Software engineering Fortran OpenMP Profiling Computer programming Computing Parallel computing

UPDATE